<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"><HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=ISO-8859-1">
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
<META NAME="GENERATOR" CONTENT="Adobe FrameMaker 7.0/HTML Export Filter">
<LINK REL="STYLESHEET" HREF="KDM_1.0_a1_microkdm.css" CHARSET="ISO-8859-1" TYPE="text/css">
<TITLE> A1.1	Comparison actions</TITLE>
</HEAD>
<BODY BGCOLOR="#ffffff">
<OL>
<LI CLASS="Heading">
<A NAME="pgfId-1096814"></A>Appendix 1. Semantics of the micro KDM action elements</LI>
</OL>
<P CLASS="Body">
<A NAME="pgfId-1096938"></A>This appendix defines the semantics of micro KDM action elements. This section assumes understanding of the KDM Datatypes.</P>
<P CLASS="Body">
<A NAME="pgfId-1096940"></A>Each micro KDM action has the following 5 parts.</P>
<P CLASS="Body">
<A NAME="pgfId-1096941"></A>Action Kind, Inputs, Outputs, Control and Extras</P>
<UL>
<LI CLASS="Bullet1">
<A NAME="pgfId-1096942"></A>Action Kind - is nature of the operation performed by the micro action. This is represented as a &quot;kind&quot; attribute to the micro action. The action kind may designate certain outgoing relationship as part of the Control. For example, the &quot;call&quot; micro action designated the Calls outgoing relationship as part of Control</LI>
<LI CLASS="Bullet1">
<A NAME="pgfId-1096943"></A>Outputs - represented by the owned outgoing Writes relationship, which usually represents the result of the micro action. This part is optional.</LI>
<LI CLASS="Bullet1">
<A NAME="pgfId-1096944"></A>Inputs - Ordered outgoing Reads and/or Addresses relationships that are owned by the action element, the order of the relationships represent the order of the arguments for a micro action.</LI>
<LI CLASS="Bullet1">
<A NAME="pgfId-1096945"></A>Control part - owned outgoing control flow relationships for the action. </LI>
<LI CLASS="Bullet1">
<A NAME="pgfId-1096946"></A>Extras part - owned relationships other than Reads, Writes and not designated as part of Control by the action Kind. For example, these can be interface compliance relation &quot;CompliesTo&quot; or any extended action relationships.</LI>
</UL>
<P CLASS="Body">
<A NAME="pgfId-1096947"></A>&nbsp;</P>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1096948"></A>Comparison actions</H6>
<P CLASS="Body">
<A NAME="pgfId-1096950"></A>Inputs: Two Reads relationships to DataElements representing values of the same datatype (except for Boolean NOT, which has a single Reads relationship).</P>
<P CLASS="Body">
<A NAME="pgfId-1096951"></A>Output: Optional writes to a DataElement of a Boolean type;</P>
<P CLASS="Body">
<A NAME="pgfId-1096952"></A>Control: Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions);</P>
<P CLASS="Body">
<A NAME="pgfId-1096956"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1097240"></A>Comparison Actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097244"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097246"></A>Semantics</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097248"></A>Equals</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097250"></A>Polymorphic equals for two values of the same datatype, see ISO Equals operation for the corresponding datatype </P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097252"></A>NotEqual</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097254"></A>Polymorphic &quot;not equal&quot; for two values of the same datatype: not (A==B)</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097256"></A>LessThanOrEqual</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097258"></A>Polymorphic &quot;less than or equal&quot; for two values of the same ordered datatype; see ISO InOrder operation for the corresponding datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097260"></A>LessThan</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097262"></A>Polymorphic &quot;less than&quot; for two values of the same ordered datatype: A&lt;=B and not A==B</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097264"></A>GreaterThan</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097266"></A>Polymorphic &quot;greater than or equal&quot; for two values of the same ordered datatype: not A&lt;=B</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097268"></A>GreaterThanOrEqual</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097270"></A>Polymorphic &quot;less than or equal&quot; for two values of the same ordered datatype: not A&lt;=B or A==B</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097272"></A>Not</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097274"></A>Boolean NOT, see ISO Boolean NOT operation</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097276"></A>And</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097278"></A>Boolean AND, see ISO Boolean AND operation</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097280"></A>Or</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097282"></A>Boolean OR, see ISO Boolean OR operation</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097284"></A>Xor</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097286"></A>Boolean XOR: ( A and not B ) or (not A and B)</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1096968"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1096969"></A>Actions related to the primitive numerical datatypes</H6>
<P CLASS="Body">
<A NAME="pgfId-1096971"></A>Inputs: Two ordered Reads relationships to DataElements representing values of the same datatype (except for neg, succ, incr, decr unary operations, which have a single Reads relationship).</P>
<P CLASS="Body">
<A NAME="pgfId-1096972"></A>Output: Single Writes to a DataElement of a type corresponding to the definition of the operation (can be temporary register or a variable);</P>
<P CLASS="Body">
<A NAME="pgfId-1096973"></A>Control: Single flow - unconditional transfer of control to the next micro action.</P>
<P CLASS="Body">
<A NAME="pgfId-1096974"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1097289"></A>Numerical actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097293"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097295"></A>Semantics</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097297"></A>Add</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097299"></A>Polymorphic add operation for a two values of the same numeric datatype, see ISO Add operation for the corresponding datatype </P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097301"></A>Multiply</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097303"></A>Polymorphic multiply operation for two values of the same numeric datatype; see ISO Add operation for the corresponding datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097305"></A>Negate</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097307"></A>Polymorphic unary negate operation for two values of the same numeric datatype; see ISO Negate operation for the corresponding datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097309"></A>Subtract</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097311"></A>Polymorphic subtract operation for two values of the same numeric datatype; A+ neg B</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097313"></A>Divide</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097315"></A>Polymorphic divide operation for two values of the same numeric datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097317"></A>Remainder</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097319"></A>Polymorphic remainder operation for two values of the same IntegerType datatype: </P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097321"></A>Successor</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097323"></A>Single Reads; Successor for ordinal or enumerated types, see ISO Successor operation</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1096983"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1096984"></A>Actions related to bitwise operations on primitive datatypes</H6>
<P CLASS="Body">
<A NAME="pgfId-1096986"></A>Inputs: Two Reads relationships to DataElements representing values of the same datatype (except for neg, succ, incr, decr unary operations, which have a single Reads relationship).</P>
<P CLASS="Body">
<A NAME="pgfId-1096987"></A>Output: Single Writes to a DataElement of the same type as the first StorableElement (can be temporary register or a variable);</P>
<P CLASS="Body">
<A NAME="pgfId-1096988"></A>Control: Single Flow - unconditional transfer of control.</P>
<P CLASS="Body">
<A NAME="pgfId-1096989"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1097330"></A>Bitwise actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097336"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097338"></A>Semantics</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097340"></A>Inputs</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097342"></A>BitAnd</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097344"></A>Bitwise AND on two integers or bitstrings or octetstrings</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097346"></A>Two Reads relationships to DataElements representing values of the same datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097348"></A>BitOr</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097350"></A>Bitwise OR on two integers or bitstrings or octetstrings</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097352"></A>Two Reads relationships to DataElements representing values of the same datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097354"></A>BitNot</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097356"></A>Bitwise NOT on integer or bitstring or octetstring</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097358"></A>Two Reads relationships to DataElements representing values of the same datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097360"></A>BitXor</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097362"></A>Bitwise XOR on two integers or bitstrings or octetstrings</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097364"></A>Two Reads relationships to DataElements representing values of the same datatype</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097366"></A>LeftShift</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097368"></A>Arithmetic bitwise shift left on integer or bitstring or octetsting</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097370"></A>First Reads relationship to a DataElement representing an integer, bitstring or octetstring</P>
<P CLASS="TableText">
<A NAME="pgfId-1097406"></A>Second Reads relationship to an integer or ordinal representing the number of bits to shift</P>
<P CLASS="TableText">
<A NAME="pgfId-1097404"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097378"></A>RightShift</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097380"></A>Arithmetic bitwise shift right on integer or bitstring or octetstring</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097382"></A>First Reads relationship to a DataElement representing an integer, bitstring or octetstring</P>
<P CLASS="TableText">
<A NAME="pgfId-1097414"></A>Second Reads relationship to an integer or ordinal representing the number of bits to shift</P>
<P CLASS="TableText">
<A NAME="pgfId-1097412"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097390"></A>BitRightShift</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097392"></A>Logical bitwise shift right on integer or bitstring or octetstring</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097394"></A>First Reads relationship to a DataElement representing an integer, bitstring or octetstring</P>
<P CLASS="TableText">
<A NAME="pgfId-1097422"></A>Second Reads relationship to an integer or ordinal representing the number of bits to shift</P>
<P CLASS="TableText">
<A NAME="pgfId-1097420"></A>&nbsp;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097001"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097003"></A>Control actions</H6>
<P CLASS="Body">
<A NAME="pgfId-1097650"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1097952"></A>Control actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097962"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097964"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097966"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097968"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1097970"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097972"></A>Assign</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097974"></A>Assignment (copy)</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097976"></A>Single Reads relationship to a DataElement representing the value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097978"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the value of the input DataElement is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097980"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099123"></A>Condition</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099125"></A>Condition</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099127"></A>Single Reads relationship to a DataElement representing the Boolean value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099129"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099139"></A>TrueFlow &amp; FalseFlow - conditional transfer of control</P>
<P CLASS="TableText">
<A NAME="pgfId-1099131"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097982"></A>Call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097984"></A>Static call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097986"></A>Zero or more Reads relationships to DataElements, that represent input actual parameters; ordered;</P>
<P CLASS="TableText">
<A NAME="pgfId-1097987"></A>Value of each actual parameter is assigned to the corresponding formal parameter of the ControlElement. Correspondence is established according to the Pos attribute of the formal parameter in the signature of the ControlElement. A sequence of values is assigned to the variable argument. </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097989"></A>Optional Writes to the DataElement that represents the return value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097991"></A>Calls relationship to the ControlElement represents the flow of control to the ControlElement and the return back; Subsequently a single flow to the next micro action is performed.</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097993"></A>MethodCall</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097995"></A>Method call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1097997"></A>Invokes relationship to the DataElement that represents the instance; </P>
<P CLASS="TableText">
<A NAME="pgfId-1097998"></A>Zero or more Reads relationships to DataElements, that represent input actual parameters; ordered;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098000"></A>Same as Call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098002"></A>Calls relationship to the MethodUnit represents the flow of control to the Method and the return back; Subsequently a single flow to the next micro action is performed.</P>
<P CLASS="TableText">
<A NAME="pgfId-1098003"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098005"></A>PtrCall</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098007"></A>Call via pointer</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098009"></A>Addresses relationship to the DataElement that represents the pointer;</P>
<P CLASS="TableText">
<A NAME="pgfId-1098010"></A> Zero or more Reads relationships to DataElements, that represent input actual parameters; ordered;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098012"></A>Same as Call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098014"></A>This represents a dynamic call to one of the possible targets of the pointer (corresponding to the current value of the pointer). The Signature of the possible targets is represented as the type attribute of the DataElement</P>
<P CLASS="TableText">
<A NAME="pgfId-1098015"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098017"></A>VirtualCall</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098019"></A>Virtual method call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098021"></A>Invokes relationship to the DataElement that represents the instance;</P>
<P CLASS="TableText">
<A NAME="pgfId-1098022"></A>Zero or more Reads relationships to DataElements, that represent input actual parameters; ordered;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098024"></A>Same as Call</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098026"></A>Calls relationship to the MethodUnit represents the superclass of the method that will be determined dynamically. This represents the flow of control to the Method and the return back; Subsequently a single flow to the next micro action is performed.</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098028"></A>Return</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098030"></A>return</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098032"></A>Single Reads represents the DataElement that contains the return value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098034"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098036"></A>Control is returned back to one of the ControlElements that has performed the call.</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098038"></A>Nop</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098040"></A>dummy</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098042"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098044"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098046"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098048"></A>Goto</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098050"></A>Unconditional transfer of control</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098052"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098054"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098056"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098058"></A>Throw</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098060"></A>Raising exception</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098062"></A>zero or more Reads relationships to DataElements representing actual parameters to the exception being thrown</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098064"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098066"></A>Throws relationship to the datatype that represents the &quot;exception object&quot;. Optional ExceptionFlow relationship to a CatchUnit that processes the exception</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098068"></A>Incr</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098070"></A>Variable post increment operation; </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098072"></A>Single Addresses relationship represents the DataElement whose value is incremented; </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098074"></A>Optional Writes relationship to another DataUnit to which the previous value of the incremented variable is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098076"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098078"></A>Decr</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098080"></A>Variable post decrement operation; </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098082"></A>Single Addresses relationship represents the DataElement whose value is decremented</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098084"></A>Optional Writes relationship to another DataUnit to which the previous value of the incremented variable is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098086"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098088"></A>Switch</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098090"></A>Branching based on the value of a StorableElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098092"></A>Single Reads to the DataElement that represents the selector value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098094"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098096"></A>One or more GuardedFlow relations to a second micro action with a single Reads relationship that represents the guard value. A single FalseFlow represents the default branch. This construct represents selection of a single branch for which the value of the selector is equal to the value of the guard or the default branch</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099433"></A>Compound</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099435"></A>Compound action</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099437"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099439"></A>none</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099441"></A>Single Flow - the entry flow to the first internal action element</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097027"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097028"></A>Actions related to access to datatypes</H6>
<P CLASS="Body">
<A NAME="pgfId-1097029"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098133"></A>Access actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098143"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098145"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098147"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098149"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098151"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098153"></A>FieldSelect</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098155"></A>Access to a particular ItemUnit of a RecordType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098157"></A>Single Addresses relationship to a DataElement (of a RecordType); Single Reads relationship to an ItemUnit representing the field being accessed</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098159"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the value of the field is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098161"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098163"></A>FieldReplace</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098165"></A>Modification of a particular field of a RecordType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098167"></A>Single Addresses relationship to a DataElement (of a RecordType); Single Reads to a DataElement representing the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098169"></A>Writes relationship to an ItemUnit representing the field being modified;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098171"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098173"></A>ChoiceSelect</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098175"></A>Access to a particular ItemUnit of a ChoiceType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098177"></A>Single Addresses relationship to a DataElement (of a ChoiceType); Single Reads relationship to an ItemUnit representing the field type being accessed</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098179"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the value of the field is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098181"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098183"></A>ChoiceReplace</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098185"></A>Modification of a particular field of a ChoiceType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098187"></A>Single Addresses relationship to a DataElement (of a ChoiceType); Single Reads to a DataElement representing the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098189"></A>Writes relationship to an ItemUnit representing the field being modified;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098191"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098193"></A>Ptr</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098195"></A>Access to a pointer to a StorableElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098197"></A>Single Addresses relationship to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098199"></A>Writes relationship to the StorableElement which will hold the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098201"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098203"></A>PtrSelect</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098205"></A>Access to a value via pointer</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098207"></A>Single Addresses relationship to a DataElement (of an PointerType); Single Reads relationship to an ItemUnit of that PointerType representing the ItemUnit being accessed;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098209"></A>Writes relationship to the ItemUnit of that PointerType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098211"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098213"></A>PtrReplace</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098215"></A>Modification of an ItemUnit of a PointerType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098217"></A>Single Addresses relationship to a DataElement (of an PointerType); Last Reads to a DataElement representing the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098219"></A>Writes relationship to the ItemUnit of that PointerType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098221"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098223"></A>ArraySelect</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098225"></A>Access to a particular ItemUnit of an ArrayType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098227"></A>Single Addresses relationship to a DataElement (of an ArrayType); Single Reads relationship to an ItemUnit representing the ItemUnit being accessed; Last Reads represents the Index</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098229"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the value of the ItemUnit is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098231"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098233"></A>ArrayReplace</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098235"></A>Modification of a particular ItemUnit of an ArrayType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098237"></A>Single Addresses relationship to a DataElement (of an ArrayType); Reads that represents the Index; Last Reads to a DataElement representing the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098239"></A>Writes relationship to an ItemUnit representing the ItemUnit being modified;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098241"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098243"></A>MemberSelect</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098245"></A>Access to a particular MemberUnit of a ClassType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098247"></A>Invokes relationship to the DataElement that represents the instance.Single Reads relationship to an MemberUnit representing the member being accessed</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098249"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the value of the field is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098251"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098253"></A>MemberReplace</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098255"></A>Modification of a particular member of a ClassType</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098257"></A>Single Invokes relationship to a DataElement (of a ClassType) that represents the instance of the object being accessed.Single Reads to a DataElement representing the new value</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098259"></A>Writes relationship to an MemberUnit representing the member being modified;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098261"></A>Single flow to the next micro action</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098263"></A>New</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098265"></A>Creation of a new dynamic instance of a datatype; this has to be done separately if required</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098267"></A>Creates relationship to the Datatype being created</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098269"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the reference to the new dynamic element is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098271"></A>Single flow to the next micro action; This micro operation does not invoke the constructor of the new object; </P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098273"></A>NewArray</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098275"></A>Creation of a new dynamic instance of an ArrayType datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098277"></A>Creates relationship to the Datatype being created; Reads relation to the DataElement that represents the length of the new array</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098279"></A>Writes relationship represents the DataElement (except for a ValueElement) to which the reference to the new dynamic element is assigned</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098281"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097061"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097063"></A>Actions related to type conversions</H6>
<P CLASS="Body">
<A NAME="pgfId-1097064"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098301"></A>Type conversion actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098311"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098313"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098315"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098317"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098319"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098321"></A>Sizeof</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098323"></A>Determines the length of a StorableUnit</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098325"></A>Reads represents the DataElement;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098327"></A>Optional writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098329"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098341"></A>Instanceof</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098343"></A>Performs dynamic type check if the data element is of a certain datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098345"></A>Reads represents the DataElement; UsesCode relation represents the datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098347"></A>Writes to a DataElement of a Boolean type;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098349"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098371"></A>DynCast</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098373"></A>Performs a dynamic cast of a DataElement to a certain Datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098375"></A>Reads represents the DataElement; UsesCode relation represents the datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098377"></A>Writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099253"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
<P CLASS="TableText">
<A NAME="pgfId-1098379"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098391"></A>TypeCast</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098393"></A>Performs a static type conversion of a DataElement to a certain Datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098395"></A>Reads represents the DataElement; UsesCode relation represents the datatype</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098397"></A>Optional writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098399"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097078"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097079"></A>Actions related to StringType operations</H6>
<P CLASS="Body">
<A NAME="pgfId-1097080"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098408"></A>StringType actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098418"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098420"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098422"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098424"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098426"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099363"></A>IsEmpty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099365"></A>True is the string x is empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099367"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099369"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099371"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099373"></A>Head</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099375"></A>Produces the value of the first element in the string x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099377"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099379"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099381"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099383"></A>Tail</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099385"></A>Produces sequence that results from deleting the first element in the string x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099387"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099389"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099391"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099393"></A>Empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099395"></A>Produces and empty string</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099397"></A>UsesType to the required type</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099399"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099401"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099403"></A>Append</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099405"></A>Produces the sequence that is formed by adding a single value y to the end of the string x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099407"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099409"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1099411"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097087"></A>&nbsp;</P>
<P CLASS="Body">
<A NAME="pgfId-1097088"></A>Note:&quot;==&quot; operation on ISO strings is defined as full comparison, this does not work in Java, which has shallow comparison of object references</P>
<P CLASS="Body">
<A NAME="pgfId-1097089"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097090"></A>Actions related to SetType operations</H6>
<P CLASS="Body">
<A NAME="pgfId-1097091"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098491"></A>SetType actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098501"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098503"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098505"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098507"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098509"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098511"></A>IsIn</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098513"></A>True is the value x is a member of the set y, else false</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098515"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098517"></A>Writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098519"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098531"></A>Subset</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098533"></A>True if every member of x is a member of y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098535"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098537"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098539"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098551"></A>Difference</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098553"></A>Produces the set that consists of the values that are in x and not in y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098694"></A>First Reads represents x; Second represents y</P>
<P CLASS="TableText">
<A NAME="pgfId-1098555"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098701"></A>writes to a DataElement</P>
<P CLASS="TableText">
<A NAME="pgfId-1098557"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098708"></A>Single flow to the next micro action;</P>
<P CLASS="TableText">
<A NAME="pgfId-1098559"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098581"></A>Union</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098583"></A>Produces the set that consists of the values that are either in x or in y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098715"></A>First Reads represents x; Second represents y</P>
<P CLASS="TableText">
<A NAME="pgfId-1098585"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098722"></A>writes to a DataElement</P>
<P CLASS="TableText">
<A NAME="pgfId-1098587"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098729"></A>Single flow to the next micro action;</P>
<P CLASS="TableText">
<A NAME="pgfId-1098589"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098611"></A>Intersection</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098613"></A>Produces the set that consists of the values that are both in x and in y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098736"></A>First Reads represents x; Second represents y</P>
<P CLASS="TableText">
<A NAME="pgfId-1098615"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098743"></A>writes to a DataElement</P>
<P CLASS="TableText">
<A NAME="pgfId-1098617"></A>&nbsp;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098750"></A>Single flow to the next micro action;</P>
<P CLASS="TableText">
<A NAME="pgfId-1098619"></A>&nbsp;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098641"></A>Select</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098643"></A>Produces a value of the base type that is in the set x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098645"></A>First Reads represents x; </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098647"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098649"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098661"></A>IsEmpty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098663"></A>True is the set x is empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098665"></A>First Reads represents x; </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098667"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098669"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098681"></A>Empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098683"></A>Produces and empty set</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098685"></A>UsesType to the required type</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098687"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098689"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097121"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1098755"></A>Actions related to SequenceType operations</H6>
<P CLASS="Body">
<A NAME="pgfId-1097122"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098768"></A> SequenceType actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098778"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098780"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098782"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098784"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098786"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098788"></A>IsEmpty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098790"></A>True is the sequence x is empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098792"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098794"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098796"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098808"></A>Head</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098810"></A>Produces the value of the first element in the sequence x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098812"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098814"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098816"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098828"></A>Tail</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098830"></A>Produces sequence that results from deleting the first element in the sequence x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098832"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098834"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098836"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098848"></A>Empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098850"></A>Produces and empty sequence</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098852"></A>UsesType to the required type</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098854"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098856"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098868"></A>Append</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098870"></A>Produces the sequence that is formed by adding a single value y to the end of the sequence x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098872"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098874"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098876"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1097139"></A>&nbsp;</P>
</DIV>
<DIV>
<H6 CLASS="Heading3">
<A NAME="pgfId-1097141"></A>Actions related to BagType operations</H6>
<P CLASS="Body">
<A NAME="pgfId-1097142"></A>&nbsp;</P>
<TABLE>
<CAPTION>
<H6 CLASS="TableCaption">
<A NAME="pgfId-1098913"></A>BagType actions</H6>
</CAPTION>
<TR>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098923"></A>Micro action</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098925"></A>Description</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098927"></A>Inputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098929"></A>Outputs</P>
</TH>
<TH ROWSPAN="1" COLSPAN="1">
<P CLASS="TableHead">
<A NAME="pgfId-1098931"></A>Control</P>
</TH>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098933"></A>IsEmpty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098935"></A>True is the bag x is empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098937"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098939"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098941"></A>Single flow - unconditional transfer of control to the next micro action (for example, as part of complex expressions, or condition);</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098943"></A>Select</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098945"></A>Produces a value of the base type that is in the bag x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098947"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098949"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098951"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098953"></A>Delete</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098955"></A>Produces the bag that is formed by deleting one instance of value y from the bag x if any</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098957"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098959"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098961"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098963"></A>Empty</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098965"></A>Produces and empty bag</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098967"></A>UsesType to the required type</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098969"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098971"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098973"></A>Insert</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098975"></A>Produces the bag that is formed by adding one instance of value y from the bag x</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098977"></A>First Reads represents x; Second represents y</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098979"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098981"></A>Single flow to the next micro action;</P>
</TD>
</TR>
<TR>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098983"></A>Serialize</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098985"></A>Produces the sequence in which each element is repeated as many time as it occurs in the bag x </P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098987"></A>First Reads represents x;</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098989"></A>writes to a DataElement</P>
</TD>
<TD ROWSPAN="1" COLSPAN="1">
<P CLASS="TableText">
<A NAME="pgfId-1098991"></A>Single flow to the next micro action;</P>
</TD>
</TR>
</TABLE>
<P CLASS="Body">
<A NAME="pgfId-1096812"></A>&nbsp;</P>
<P CLASS="Body">
<A NAME="pgfId-1088609"></A>&nbsp;</P>
</DIV>
</BODY>
</HTML>
